TEXT_BASE = 0x43e00000
